Benjamin Pierce - PDFSEARCH.IO - Document Search Engine

Benjamin Pierce
Results: 75

#	Item
21	Boomerang: Resourceful Lenses for String Data Aaron Bohannon J. Nathan Foster Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-11-19 16:10:30 Lens mounts Camera lens Bidirectional transformation Boomerang
22	Sensitivity Analysis using Type-Based Constraints Loris D’Antoni? Marco Gaboardi?‡ Emilio Jes´us Gallego Arias? Benjamin C. Pierce? Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-04-21 07:32:52
23	Distance Makes the Types Grow Stronger: A Calculus for Diﬀerential Privacy (Extended Version) Jason Reed∗ Benjamin Pierce Add to Reading List Source URL: privacy.cis.upenn.edu Language: English - Date: 2012-01-30 20:07:59 Mathematical analysis Symbol Continuous function Valuation Programming language semantics Orbifold Normalisation by evaluation Abstract algebra Mathematics Algebraic geometry
24	A Bisimulation for Type Abstraction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-01-18 15:06:02 Mathematics Models of computation Denotational semantics Lambda calculus Model theory Π-calculus Bisimulation Orbifold Theoretical computer science Applied mathematics Logic in computer science
25	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
26	Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: dmwit.com Language: English - Date: 2011-01-31 16:10:19 Algebraic logic Camera lens Anamorphism Fold Heap Surjective function Binary relation Boolean algebra Mathematics Mathematical logic Mathematical analysis
27	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics
28	Differential Privacy for Collaborative Security Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, Jonathan M. Smith University of Pennsylvania ABSTRACT Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:01:29 Computer network security Spamming Data privacy Differential privacy Botnet Privacy Internet privacy Information privacy Internet Relay Chat Computing Multi-agent systems Ethics
29	Distance Makes the Types Grow Stronger A Calculus for Differential Privacy Jason Reed Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-09-20 13:05:54 Dynamical system Differential privacy Mathematics Structure Programming language semantics Orbifold Allan variance Mathematical analysis Symbol Continuous function
30	Symmetric Lenses (Full version) Martin Hofmann Benjamin Pierce Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:17:21 Group action Group theory Symmetry Equivalence relation Camera lens Surjective function Function Mathematics Mathematical analysis Functions and mappings